Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
791	A Theory of Type Qualifiers∗ Jeffrey S. Foster [removed] Manuel F¨ ahndrich Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 Programming language theory Subtype polymorphism Symbol Type inference Hindley–Milner Type system Type safety Simply typed lambda calculus Reference Software engineering Type theory Computing
792	Javascript in Ten Minutes Spencer Tipping March 20, 2013 Contents 1 Add to Reading List Source URL: raw.githubusercontent.com Language: English Subroutines Functional programming Data types Cross-platform software Lambda calculus Closure JavaScript Anonymous function Fold Software engineering Computing Computer programming
793	Graeme Forbes T1 .2 On Some Examples of Chomsky’s Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2007-01-18 00:59:41 Formal languages Semantics Predicate logic Lambda calculus Combinatory logic Interpretation Categorial grammar Formal grammar FO Logic Mathematical logic Theoretical computer science
794	A Stochastic l-Calculus Dana S. Scott University Professor, Emeritus, Carnegie Mellon University Visiting Scholar, UC Berkeley As a formal theory, the l-Calculus has equational rules for the explicit definition of functi Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-20 07:44:50 Computability theory Models of computation Logic in computer science Lambda calculus Function Combinatory logic Denotational semantics Type theory John Myhill Mathematics Theoretical computer science Mathematical logic
795	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: www.erights.org Language: English - Date: 2004-05-18 05:27:32 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
796	Stochastic λ-Calculi Dana S. Scott University Professor, Emeritus Carnegie Mellon University Visiting Scholar in Mathematics Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-08-27 15:54:05 Boolean algebra Forcing Metalogic Lambda calculus Boolean-valued model Constructible universe FO Model theory Combinatory logic Mathematical logic Mathematics Theoretical computer science
797	Underhanded Javascript How To Be A Complete Arsehole with Bad Javascript Xuanyi Chew This book is for sale at http://leanpub.com/underhandedjavascript This version was published on[removed] Add to Reading List Source URL: samples.leanpub.com Language: English - Date: 2014-03-19 08:35:50 Cross-platform software Scripting languages Subroutines Lambda calculus JavaScript Eval Anonymous function Scope Declaration Software engineering Computing Computer programming
798	Semantic Pollution and Syntactic Purity Stephen Read University of St Andrews November 25, 2014 Abstract Logical inferentialism claims that the meaning of the logical constants Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2014-11-25 06:50:30 Mathematics Natural deduction Sequent calculus Lambda calculus Ordinal number Constructible universe Sequent Symbol Modal logic Mathematical logic Logic Proof theory
799	Contracts for Higher-Order Functions Robert Bruce Findler1 Matthias Felleisen Northeastern University College of Computer Science Boston, Massachusetts 02115, USA Add to Reading List Source URL: users.eecs.northwestern.edu Language: English - Date: 2008-12-19 01:19:12 Spectral theory Mathematics Applied mathematics Computer science Computability theory Lambda calculus Theoretical computer science
800	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory

UPDATE